As a number of philosophers have observed, our knowledge of what is passing through our own minds appears to be quite different to our knowledge of other things. I do not, it seems, need to accumulate evidence in order to know what psychological states I am in. 1 Without relying on evidence I am able to effortlessly attribute to myself beliefs, desires, intentions, hopes, fears, and a host of other psychological states. The distinctive knowledge we have of our own psychological (...) states is sometimes labeled privileged access. If ’privileged access’ means knowledge that is not evidentially based we certainly seem to have privileged access to some psychological states including those exhibiting intentionality.2 Nevertheless, some have questioned whether we do enjoy privileged access to our intentional states. One reason for doing so derives from the findings of psychologists. The time honored thesis that we have privileged access to our own psychological states is threatened by such findings (see especially Nesbitt and Wilson, 1977). Moreover, there is threat to privileged access from a different direction. It comes from a philosophical thesis commonly referred to as externalism. Externalism is the view that the content of an intentional state such as a belief is fixed by the environment external to the believer. Some externalists deny that externalism conflicts with privileged access. Donald Davidson and Tyler Bürge in particular have developed what might be called a minimalist account of privileged access which, they would claim, reconciles privileged access with externalism. An interesting feature of their account is that it suggests a defense of privileged access in the light of the psychological findings mentioned above. However, that is a topic for another paper. Here I will confine myself to assessing the Davidson Burge account of privileged access, and its implications for the relationship between privileged access and externalism. (shrink)

У статті досліджено погляди Е. Левінаса на проблему Іншого. Зазначається, що в центр етичних відносин філософ ставить Іншого, який виступає абсолютно трансцендентним ликом, не підвладним "насиллю теорії" і асиметричним по відношенню до дій Я. Шлях до відкриття безкінечності лику Іншого по той бік об'єктивації в пізнанні Е. Левінас убачає в застосуванні феноменологічної процедури "епохе".

This article is about an original virtual reality and multimedia system named Visorama, with dedicated hardware and software aimed at the following fields: digital art, entertainment, historical tourism and education. On the software level, the Visorama system includes the research of a new methodology to build and visualize a stereoscope panorama; a high-level language to provide a transition mechanism between panoramas (wipes, blending, etc.); and multipleresolution panoramas to assure the image's resolution level. On the hardware level, the Visorama simulates an (...) optical device that uses a binocular display to show the image generated by the panorama system. This display is attached to a support base that can rotate around vertical and horizontal axes, which have high-resolution sensors that together capture the current viewing orientation. In addition, three buttons allow the control of zoom angle and the generation of discrete events. This form of direct manipulation of the viewing parameters provides a natural interface for virtual panoramas. On the level of its applications, the system as a whole is designed to promote a more natural interaction with the real space, since its basic characteristics allow the possibility of visualization of the real through a virtual window. The viewer travels in space and time following the several link points contained in it, as various possible navigation routes. (shrink)

This study explored how disclosure of financial conflicts of interest influences naïve or “lay” individuals’ perceptions of the ethicality of researcher conduct. On a between-subjects basis, participants read ten scenarios in which researchers disclosed or failed to disclose relevant financial conflicts of interest. Participants evaluated the extent to which each vignette represented a FCOI, its possible influence on researcher objectivity, and the ethics of the financial relationship. Participants were then asked if they had completed a college-level ethics course. Results indicated (...) that FCOI disclosure significantly influenced participants’ perceptions of the ethicality of the situation, but only marginally affected perceptions of researcher objectivity and had no significant influence on perceptions of the existence of FCOIs. Participants who had previously completed a college-level ethics course appeared more sensitive to the importance of FCOI disclosure than those who lacked such background. This result suggests that formal ethical training may help individuals become more critical consumers of scientific research. (shrink)

A growing body of evidence suggests that two distinct forms of group alignment are possible: identification and fusion (the former asserts that group and personal identity are distinct, while the latter asserts group and personal identities are functionally equivalent and mutually reinforcing). Among highly fused individuals, group identity taps directly into personal agency and so any attack on the group is perceived as a personal attack and motivates a willingness to fight and possibly even die as a defensive response. As (...) such, identity fusion is relevant in explaining violent extremism, including suicidal terrorist attacks. Identity fusion is theorized to arise as a result from the sharing of personally transformative experiences with other group members, however evidence for this relationship remains limited to date. Here, we present a pre-registered study in which we examine the role of transformativeness and perceived sharedness of group-defining events in generating identity fusion. We find that both of these factors are predictive of identity fusion but that the relationship with transformativeness was more consistent than perceived sharedness across analyses in a sample of Indonesian Muslims. (shrink)

Whereas a growing bulk of work has demonstrated that both adults and children are sensitive to frequently occurring word sequences, little is known about the potential role of meaning in the processing of such multiword chunks. Here, we take a first step toward assessing the contribution of meaningfulness in the processing of multiword sequences, using items that varied in chunk meaningfulness. In a phrasal-decision study, we compared reaction times for triads of three-word sequences, corresponding to idiomatic expressions, compositional phrases, and (...) phrasal fragments, while controlling for phrase and substring frequencies. Chunk meaningfulness, as assessed by a separate subjective rating study, was found to speed up decision times for all three types of strings: The more meaningful a multiword sequence was judged to be, the faster it was processed, independently of whether it was idiomatic, compositional in nature, or a phrasal fragment. These results highlight the importance of taking meaning into account when considering the processing of multiword chunks, consistent with predictions of construction-based approaches to language. (shrink)

We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...) logic as long as the number of variables available is > 2 and we have a binary relation symbol in our language. We also prove a stronger result to the effect that there is no finite upper bound for the extra variables needed in the witness formulas. This result further emphasizes the ongoing interplay between algebraic logic and first order logic. (shrink)

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc 2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

There are eighteen isomorphism types of finite relation algebras with eight or fewer elements, and all of them are representable. We determine all the cardinalities of sets on which these algebras have representations.

What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...) As a counterproposal, then, we define a large fragment of predicate logic characterized by its use of only bounded quantification. This so-called guarded fragment enjoys the above nice properties, including decidability, through an effectively bounded finite model property. (These are new results, obtained by generalizing notions and techniques from modal logic.) Moreover, its own internal finite variable hierarchy turns out to work well. Finally, we shall make another move. The above analogy works both ways. Modal operators are like quantifiers, but quantifiers are also like modal operators. This observation inspires a generalized semantics for first-order predicate logic with accessibility constraints on available assignments (cf. N´emeti 1986, 1992) which moves the earlier quantifier restrictions into the semantics. This provides a fresh look at the landscape of possible predicate logics, including candidates sharing various desirable features with basic modal logic – in particular, its decidability. (shrink)

We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

ObjectivePost-traumatic stress disorder may affect individuals exposed to adversity. Eye Movement Desensitization and Reprocessing is an evidence-based trauma-focused psychotherapy for PTSD. There is still some debate whether the eye movements are an effective component of EMDR. The primary aim of this study was to investigate the effectiveness of Eye Movement Desensitization treatment in reducing PTSD symptoms compared to a retrieval-only active control condition. We also investigated whether PTSD symptom reduction was associated with reductions in depression and anxiety, and improvements in (...) quality of life.MethodologyAdult PTSD patients were recruited at public psychological services in Jakarta, Bandung and Cimahi, Indonesia. PTSD was diagnosed with the Structured Clinical Interview for DSM-5 disorders. Participants were randomized into: EMD or retrieval-only. EMD consisted of clinical history and treatment planning, preparation, assessment, EMs, closure, whereas retrieval-only consisted of the same elements except EMs. Data were collected at baseline, 1-week post-treatment, 1-month follow-up, and 3-months follow-up. Outcome measures included the PTSD Checklist for DSM-5, Hopkins Symptoms Checklist-25, and the World Health Organization Quality of Life–BREF. Data were analyzed with linear mixed model analysis in R Statistics.ResultsAlthough there were main effects of time indicating reductions for both EMD and retrieval-only in PCL-5 and HSCL-25 scores, and improvements in WHOQoL-BREF scores at T1, T2, and T3, no significant differences in PCL-5, HSCL-25, and WHOQoL-BREF total scores between the EMD and retrieval-only groups at T1, T2, and T3 were found.ConclusionWithin a clinical sample of PTSD patients in Indonesia, both EMD and retrieval-only was associated with reductions in symptoms of PTSD, anxiety and depression, and improvements in quality of life, although EMs did not add to the efficacy of the treatments. Further research to examine the underlying mechanisms of EMDR’s effective treatment elements in clinical samples is needed.Clinical Trial Registration[www.ClinicalTrials.gov], identifier [ISRCTN55239132]. (shrink)

We give two theories, Th1 and Th2, which are explicitly definable over each other , but are not definitionally equivalent. The languages of the two theories are disjoint.

We study algebras whose elements are relations, and the operations are natural “manipulations” of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schröder . Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of n-ary relations, RPEAn of polyadic equality algebras of n-ary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: (...) for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 < n < ω. Completely analogous statement holds for the case n ω. This improves Monk's famous non-finitizability theorem for which we give here a simple proof. We prove analogous nonfinitizability properties of the larger varieties SNrnCAn + k. We prove that the complementation-free subreducts of RCAn do not form a variety. We also investigate the reason for the above “non-finite axiomatizability” behaviour of RCAn. We look at all the possible reducts of RCAn and investigate which are finitely axiomatizable. We obtain several positive results in this direction. Finally, we summarize the results and remaining questions in a figure. We carry through the same programme for RPEAn and for RRA. By looking into the reducts we also investigate what other kinds of natural algebras of relations are possible with more positive behaviour than that of the well known ones. Our investigations have direct consequences for the logical properties of the n-variable fragment Ln of first order logic. The reason for this is that RCAn and RPEAn are the natural algebraic counterparts of Ln while the varieties SNrnCAn + k are in connection with the proof theory of Ln. This paper appears in two parts. The first part contains the non-finite axiomatizability results. The present second part contains finite axiomatizations of some fragments together with a figure summarizing the finite and non-finite axiomatizability results in this area and the problems left open. (shrink)

This is an abstract of our paper \A characterisation of Floyd-provable programs" submitted to Theoretical Computer Science. ! denotes the set of natural numbers. Y =d fyi : i 2 !g is the set of variable symbols. L denotes the set of classical rst order formulas of type t possibly with free variables , where t is the similarity type of arithmetic, i.e. it consists of \+; ; 0; 1" with arities \2; 2; 0; 0".

Theorem 1 states a negative result about the classical semantics j= ! of program schemes. Theorem 2 investigates the reason for this. We conclude that Theorem 2 justies the Henkin-type semantics j= for which the opposite of the present Theorem 1 was proved in [1]{[3] and also in a dierent form in part III of [5]. The strongest positive result on j= is Corollary 6 in [3].

This volume features original essays on the philosophy of love. The essays are organized thematically around the past, present, and future of philosophical thinking about love. In section I, the contributors explore what we can learn from the history of philosophical thinking about love. The chapters cover Ancient Greek thinkers, namely Plato and Aristotle, as well as Kierkegaard's critique of preferential love and Erich Fromm's mystic interpretation of sexual relations. Section II covers current conceptions and practices of love. These chapters (...) explore how love changes over time, the process of falling in love, envy in romantic partnerships, and a new interpretation of grand-parental love. Finally, Section III looks at the future of love. These chapters address technological developments related to love, such as algorithm-driven dating apps and robotic companions, as well as the potential of polyamory as a future romantic ideal. This book will be of interest to researchers and advanced students in moral philosophy and social and political philosophy who are working on issues related to philosophy of love. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, (...) Glymour and Halvorson. (shrink)

(2001). Reflexive governance and indigenous self‐rule: Lessons in associative democracy? Critical Review of International Social and Political Philosophy: Vol. 4, Associative Democracy: The Real Third Way, pp. 157-186.

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

We investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.

Social constructionists maintain that we invent the properties of the world rather than discover them. Is reality constructed by our own activity? Do we collectively invent the world rather than discover it? André Kukla presents a comprehensive discussion of the philosophical issues that arise out of this debate, analysing the various strengths and weaknesses of a range of constructivist arguments and arguing that current philosophical objections to constructivism are inconclusive. However, Kukla offers and develops new objections to constructivism, distinguishing between (...) the social causes of scientific beliefs and the view that all ascertainable facts are constructed. (shrink)

Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...) to other classes of algebras of logic, for example quasi-polyadic algebras and substitution-cylindrification algebras with and without equality, relation algebras, and special Boolean monoids. The results of op. cit. mentioned above are special cases of our general theorems. We point out an error in the proof of the Henkin-Monk-Tarski representation theorem for atomic, equality-free, quasi-polyadic algebras with rectangular atoms. The error consists in the implicit assumption of a property that does not, in general, hold. We then give a correct proof of their theorem. Henkin and Tarski also introduced the notion of a rich cylindric algebra and proved in op. cit. that every rich cylindric algebra of finite dimension satisfying certain special identities is representable. We introduce a modification of the notion of a rich algebra that, in our opinion, renders it more natural. In particular, under this modification richness becomes a density notion. Moreover, our notion of richness applies not only to algebras with equality, such as cylindric algebras, but also to algebras without equality. We show that a finite dimensional algebra is rich iff it is rectangularly dense and quasi-atomic; moreover, each of these conditions is also equivalent to a very natural condition of point density . As a consequence, every finite dimensional rich algebra of logic is representable. We do not have to assume the validity of any special identities to establish this representability. Not only does this give an improvement of the Henkin-Tarski representation theorem for rich cylindric algebras, it solves positively an open problem in op. cit. concerning the representability of finite dimensional rich quasi-polyadic algebras without equality. (shrink)

We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.